-
1 positive formula
Большой англо-русский и русско-английский словарь > positive formula
-
2 positive formula
Математика: положительная формула -
3 positive formula
-
4 positive-formula predicate
Большой англо-русский и русско-английский словарь > positive-formula predicate
-
5 positive-formula predicate
Математика: позитивно формульный предикатУниверсальный англо-русский словарь > positive-formula predicate
-
6 positive-formula predicate
English-Russian scientific dictionary > positive-formula predicate
-
7 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
8 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
9 позитивно формульный предикат
Большой англо-русский и русско-английский словарь > позитивно формульный предикат
-
10 положительная формула
Большой англо-русский и русско-английский словарь > положительная формула
-
11 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
12 BFP
1) Общая лексика: backflow preventor2) Американизм: Blatant Farmer Promotion3) Военный термин: British Forces Program4) Техника: boiler feed pump, устройство резервирования отказов выключателя (breaker failure protection)5) Бухгалтерия: Basic Formula Price6) Сокращение: Bearing Frequency Plot, Bulk Flats Processor (2008 system to prepare flats bundles for processing on FSS and AFSM systems)7) Физиология: Big Fat Positive, Biological False Positive8) Электроника: Blank Front Panel9) Биотехнология: Blue fluorescent protein10) Энергетика: УРОВ, breaker failure protection11) Энергосистемы: (Boiler Feeding Pumps) Питательные насосы котла (Boiler Feeding Pumps)12) Электротехника: battery fuse panel, boiler-feed pump13) Аэропорты: Beaver Falls, Pennsylvania USA14) Международная торговля: Bona Fide Purchaser -
13 irrefutable
a неопровержимыйСинонимический ряд:1. conclusive (adj.) conclusive; decisive; manifest; obvious; plain; proven; undisputed2. positive (adj.) beyond any doubt; certain; evident; hard; inarguable; incontestable; incontrovertible; indisputable; indubitable; irrebuttable; positive; sure; unassailable; uncontestable; uncontrovertible; undeniable; undisputable; undoubtable; unequivocal; unquestionableАнтонимический ряд: -
14 PSF
1) Компьютерная техника: Pc Screen Font2) Авиация: Passenger Service Fee (see http://www.snowwhitetours.com.bt/flightinfo.htm)3) Американизм: Political Survival Fund4) Военный термин: Panama Sea Frontier, Payload Signaling Field, Process Support Facilities, processing and storage facility, production sharing formula, public security force5) Техника: personnel security file, plutonium storage facility, poolside facility, porous silicon film, positive spatial frequency6) Строительство: Pipe Support Foundation (фундамент опоры трубопровода)7) Религия: Presbyterian Student Fellowship8) Оптика: point spread function9) Сокращение: Point-Spread Function, Popular Struggle Front (for liberation of Palestine), Postal Service Fund (under PAEA), Provisional Sinn Fein, pound-force per square foot, (private security firm) ЧОП (частное охранное предприятие)10) Вычислительная техника: permanent swap file, Print Services Facility (IBM), Point Spread Function (Space), Python Software Foundation (organization, Python)11) Целлюлозно-бумажная промышленность: (Plug Screw Feeder) напорный шнековый питатель12) Глоссарий компании Сахалин Энерджи: Production Support Facilities (WP&B)13) Образование: Priority Schools Funding14) Сетевые технологии: Progressive Segmented Frame15) Полимеры: polysulfone16) Океанография: Program Support Facility17) Авиационная медицина: performance shaping factor18) Расширение файла: Palette Storage Format, Outline PostScript printer font (ChiWriter)19) Военно-политический термин: Peace Support Forces20) Аэропорты: Pittsfield, Massachusetts USA21) Общая лексика: Power Steering Fluid (жидкость для гидроусилителя руля) -
15 psf
1) Компьютерная техника: Pc Screen Font2) Авиация: Passenger Service Fee (see http://www.snowwhitetours.com.bt/flightinfo.htm)3) Американизм: Political Survival Fund4) Военный термин: Panama Sea Frontier, Payload Signaling Field, Process Support Facilities, processing and storage facility, production sharing formula, public security force5) Техника: personnel security file, plutonium storage facility, poolside facility, porous silicon film, positive spatial frequency6) Строительство: Pipe Support Foundation (фундамент опоры трубопровода)7) Религия: Presbyterian Student Fellowship8) Оптика: point spread function9) Сокращение: Point-Spread Function, Popular Struggle Front (for liberation of Palestine), Postal Service Fund (under PAEA), Provisional Sinn Fein, pound-force per square foot, (private security firm) ЧОП (частное охранное предприятие)10) Вычислительная техника: permanent swap file, Print Services Facility (IBM), Point Spread Function (Space), Python Software Foundation (organization, Python)11) Целлюлозно-бумажная промышленность: (Plug Screw Feeder) напорный шнековый питатель12) Глоссарий компании Сахалин Энерджи: Production Support Facilities (WP&B)13) Образование: Priority Schools Funding14) Сетевые технологии: Progressive Segmented Frame15) Полимеры: polysulfone16) Океанография: Program Support Facility17) Авиационная медицина: performance shaping factor18) Расширение файла: Palette Storage Format, Outline PostScript printer font (ChiWriter)19) Военно-политический термин: Peace Support Forces20) Аэропорты: Pittsfield, Massachusetts USA21) Общая лексика: Power Steering Fluid (жидкость для гидроусилителя руля) -
16 prescription
-
17 level
1) ватерпас, уровень || выверять по уровню2) уровень, степень, ступень; интенсивность3) уровень, высотная отметка || устанавливать уровень4) физ. энергетический уровень5) равнина6) горизонтальный || горизонтировать7) авиац. горизонтальный полёт || лететь горизонтально8) нивелир || нивелировать9) заравнивать; выравнивать; разравнивать10) ровный, плоский•above a ground level — над уровнем земли; выше нулевой отметки
at a ground level — на нулевой отметке;
hunting for a level — телефон. искание декады
hunting within a level — телефон. искание в декаде
with wings level — авиац. без крена
to level off — выравнивать; распрямлять; спрямлять
to occupy a level — физ. занимать (соответствующий) энергетический уровень
to reside at level — физ. находиться на энергическом уровне
- median significance level - minimum safe level - nominal significance level - optimum factor level - preset level - tolerable level - tolerance levelto set up a level — устанавливать нивелир; задавать уровень
См. также в других словарях:
Positive — is a property of positivity and may refer to: Mathematics and science * Positive number, a number that is greater than 0 * Positive operator, in functional analysis, a bounded linear operator whose spectrum consists of positive real numbers *… … Wikipedia
Positive set theory — In mathematical logic, positive set theory is the name for a class of alternative set theories in which the axiom of comprehension* {x mid phi} exists holds for at least the positive formulas phi (the smallest class of formulas containing atomic… … Wikipedia
Positive Infinity — are a collaborative group of musicians from Miami, Florida who work with various musical genres. While they are a full featured studio band, Positive Infinity are generally considered to be the solo project of Living Corban s former vocalist and… … Wikipedia
Formula for primes — In mathematics, a formula for primes is a formula generating the prime numbers, exactly and without exception. No easily computable such formula is known. A great deal is known about what, more precisely, such a formula can and cannot be.Prime… … Wikipedia
Positive and negative parts — In mathematics, the positive part of a real or extended real valued function is defined by the formula Intuitively, the graph of f + is obtained by taking the graph of f, chopping off the part under the x axis, and letting f + take the value zero … Wikipedia
Sahlqvist formula — In modal logic, Sahlqvist formulae are a certain kind of modal formula with remarkable properties. The Sahlqvist correspondence theorem states that everySahlqvist formula is canonical,and corresponds to a first order definable class of Kripke… … Wikipedia
Weyl character formula — In mathematics, the Weyl character formula in representation theory describes the characters of irreducible representations of compact Lie groups in terms of their highest weights. It is named after Hermann Weyl, who proved it in the late… … Wikipedia
Euler's formula — This article is about Euler s formula in complex analysis. For Euler s formula in algebraic topology and polyhedral combinatorics see Euler characteristic. Part of a series of articles on The mathematical constant e … Wikipedia
Davidon-Fletcher-Powell formula — The Davidon Fletcher Powell formula (DFP) finds the solution to the secant equation that is closest to the current estimate and satisfies the curvature condition (see below). It was the first quasi Newton method which generalize the secant method … Wikipedia
Davidon–Fletcher–Powell formula — The Davidon–Fletcher–Powell formula (or DFP; named after William C. Davidon, Roger Fletcher, and Michael J. D. Powell) finds the solution to the secant equation that is closest to the current estimate and satisfies the curvature condition (see… … Wikipedia
Möbius inversion formula — In mathematics, the classic Möbius inversion formula was introduced into number theory during the 19th century by August Ferdinand Möbius. Other Möbius inversion formulas are obtained when different local finite partially ordered sets replace the … Wikipedia